Set-theoretic definition of natural numbers